home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 2 / Apprentice-Release2.iso / Source Code / Mark Pilgrim / Kant Generator Pro 1.0.1 / Modules ƒ / Kant / Kant.rsrc / STR#_1001.txt < prev    next >
Encoding:
Text File  |  1994-10-31  |  235 b   |  7 lines
  1. #<&intro-clause, ><&certainty-clause >&main-clause<, &proof>.
  2.  
  3. #<&proof, ><&certainty-clause, &throwaway-clause, >&main-clause<, &conjunction &main-clause>.
  4.  
  5. #<&proof, ><&certainty-clause >&main-clause<; &intro-clause, &main-clause>.
  6.  
  7.